package org.andes.kownledge.operator;

import org.andes.base.Bindings;

public class Constant extends Term{
	private String value;

	public Constant(String s) {
		value=s;
	}
	public String getValue(){
		return value;
	}
	@Override
	public Term substBindings(Bindings bindings) {
		return new Constant(value);
	}
	public String toString(){
		return value;
	}
	@Override
	public boolean isGround() {
		return true;
	}
	@Override
	public Term renameVariable() {
		return new Constant(value);
	}

}
